On Resource-bounded versions of the van Lambalgen theorem

The van Lambalgen theorem is a surprising result in algorithmic information theory concerning the symmetry of relative randomness. It establishes that for any pair of infinite sequences $A$ and $B$, $B$ is Martin-L\"of random and $A$ is Martin-L\"of random relative to $B$ if and only if the interleaved sequence $A \uplus B$ is Martin-L\"of random. This implies that $A$ is relative random to $B$ if and only if $B$ is random relative to $A$ \cite{vanLambalgen}, \cite{Nies09}, \cite{HirschfeldtBook}. This paper studies the validity of this phenomenon for different notions of time-bounded relative randomness. We prove the classical van Lambalgen theorem using martingales and Kolmogorov compressibility. We establish the failure of relative randomness in these settings, for both time-bounded martingales and time-bounded Kolmogorov complexity. We adapt our classical proofs when applicable to the time-bounded setting, and construct counterexamples when they fail. The mode of failure of the theorem may depend on the notion of time-bounded randomness

High fludarabine exposure and relationship with treatment-related mortality after nonmyeloablative hematopoietic cell transplantation.

Despite its common use in nonmyeloablative preparative regimens, the pharmacokinetics of fludarabine are poorly characterized in hematopoietic cell transplantation (HCT) recipients and exposure-response relationships remain undefined. The objective of this study was to evaluate the association between plasma F-ara-A exposure, the systemically circulating moiety of fludarabine, and engraftment, acute GVHD, TRM and OS after HCT. The preparative regimen consisted of CY 50 mg/kg/day i.v. day -6; plus fludarabine 30-40 mg/m²/day i.v. on days -6 to -2 and TBI 200 cGy on day -1. F-ara-A pharmacokinetics were carried out with the first dose of fludarabine in 87 adult patients. Median (range) F-ara-A area-under-the-curve (AUC((0-∞))) was 5.0 μg h/mL (2.0-11.0), clearance 15.3 L/h (6.2-36.6), C(min) 55 ng/mL (17-166) and concentration on day(zero) 16.0 ng/mL (0.1-144.1). Despite dose reductions, patients with renal insufficiency had higher F-ara-A exposures. There was strong association between high plasma concentrations of F-ara-A and increased risk of TRM and reduced OS. Patients with an AUC((0-∞)) greater than 6.5 μg h/mL had 4.56 greater risk of TRM and significantly lower OS. These data suggest that clinical strategies are needed to optimize dosing of fludarabine to prevent overexposure and toxicity in HCT

Epstein-Barr virus infections and DNA hybridization studies in posttransplantation lymphoma and lymphoproliferative lesions: The role of primary infection

Fourteen patients who developed B cell lymphomas or lymphoproliferative lesions after kidney, liver, heart, or heart-lung transplantation in Pittsburgh during 1981-1983 had active infection with Epstein-Barr virus (EBV)of the primary (six patients), reactivated (seven patients), or chronic (one patient) type. In transplant patients without tumors, the incidence of EBV infection was 30% (39 of 128). Only three of these patients had primary infections. Thus the frequency of active infection was significantly higher in patients with tumors, and patients with primary infections were at greater risk of developing tumors. Five of 13 tumors tested contained EBV nuclear antigen (EBNA) and nine of 11 contained EBV genomes detected by DNA-DNA hybridization with BamHI K, BamHI W, or EcoRI B cloned probes. All EBNA-positive tumors, except one, were also positive by hybridization. Only one tumor was negative for both EBNA and EBV DNA. These data suggest that EBV plays an etiologic role in the development of these lesions. © 1985 by The University of Chicago

Persistent Homology Analysis of Brain Artery Trees.

New representations of tree-structured data objects, using ideas from topological data analysis, enable improved statistical analyses of a population of brain artery trees. A number of representations of each data tree arise from persistence diagrams that quantify branching and looping of vessels at multiple scales. Novel approaches to the statistical analysis, through various summaries of the persistence diagrams, lead to heightened correlations with covariates such as age and sex, relative to earlier analyses of this data set. The correlation with age continues to be significant even after controlling for correlations from earlier significant summaries

Computational study of human head response to primary blast waves of five levels from three directions

Human exposure to blast waves without any fragment impacts can still result in primary blast-induced traumatic brain injury (bTBI). To investigate the mechanical response of human brain to primary blast waves and to identify the injury mechanisms of bTBI, a three-dimensional finite element head model consisting of the scalp, skull, cerebrospinal fluid, nasal cavity, and brain was developed from the imaging data set of a human female. The finite element head model was partially validated and was subjected to the blast waves of five blast intensities from the anterior, right lateral, and posterior directions at a stand-off distance of one meter from the detonation center. Simulation results show that the blast wave directly transmits into the head and causes a pressure wave propagating through the brain tissue. Intracranial pressure (ICP) is predicted to have the highest magnitude from a posterior blast wave in comparison with a blast wave from any of the other two directions with same blast intensity. The brain model predicts higher positive pressure at the site proximal to blast wave than that at the distal site. The intracranial pressure wave invariably travels into the posterior fossa and vertebral column, causing high pressures in these regions. The severities of cerebral contusions at different cerebral locations are estimated using an ICP based injury criterion. Von Mises stress prevails in the cortex with a much higher magnitude than in the internal parenchyma. According to an axonal injury criterion based on von Mises stress, axonal injury is not predicted to be a cause of primary brain injury from blasts. Copyright

Polynomial Interrupt Timed Automata

Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parameters. They are well suited to model and analyze real-time operating systems. Here we extend ITA with polynomial guards and updates, leading to the class of polynomial ITA (PolITA). We prove the decidability of the reachability and model checking of a timed version of CTL by an adaptation of the cylindrical decomposition method for the first-order theory of reals. Compared to previous approaches, our procedure handles parameters and clocks in a unified way. Moreover, we show that PolITA are incomparable with stopwatch automata. Finally additional features are introduced while preserving decidability

LTL Parameter Synthesis of Parametric Timed Automata

The parameter synthesis problem for parametric timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which the parameter synthesis problem is decidable for LTL properties. The investigated bounded integer parameter synthesis problem could be solved using an explicit enumeration of all possible parameter valuations. We propose an alternative symbolic zone-based method for this problem which results in a faster computation. Our technique extends the ideas of the automata-based approach to LTL model checking of timed automata. To justify the usefulness of our approach, we provide experimental evaluation and compare our method with explicit enumeration technique.Comment: 23 pages, extended versio

Reproducibility and intraindividual variation over days in buccal cell DNA methylation of two asthma genes, interferon γ (IFNγ) and inducible nitric oxide synthase (iNOS)

The biological mechanisms responsible for the onset and exacerbation of asthma symptoms in children may involve the epigenetic regulation of inflammatory genes after environmental exposures. Using buccal cells, we hypothesized that DNA methylation in promoter regions of two asthma genes, inducible nitric oxide synthase (iNOS) and interferon γ (IFNγ), can vary over several days. Repeat buccal samples were collected 4 to 7 days apart from 34 children participating in the Columbia Center for Children's Environmental Health (CCCEH) birth cohort study. Several field duplicates (sequential collection of two samples in the field) and replicates (one sample pyrosequenced twice) also were collected to ensure consistency with collection and laboratory procedures. DNA methylation was assessed by pyrosequencing a PCR of bisulfite-treated DNA. We found that replicate and field duplicate samples were correlated strongly (r = 0.86 to 0.99, P < 0.05), while repeat samples demonstrated low within-subject correlations (r = 0.19 to 0.56, P = 0.06 to 0.30). Our data reveal DNA methylation as a dynamic epigenetic mechanism that can be accessed safely and reproducibly in an inner city pediatric cohort using non-invasive buccal swabs and pyrosequencing technology